(l) Prove that the same properties (d)–(g) as for version 1 (for P > 1).